Solving Fixed-Point Equations by Derivation Tree Analysis
نویسندگان
چکیده
Systems of equations over ω-continuous semirings can be mapped to context-free grammars in a natural way. We show how an analysis of the derivation trees of the grammar yields new algorithms for approximating and even computing exactly the least solution of the system.
منابع مشابه
Solving time-fractional chemical engineering equations by modified variational iteration method as fixed point iteration method
The variational iteration method(VIM) was extended to find approximate solutions of fractional chemical engineering equations. The Lagrange multipliers of the VIM were not identified explicitly. In this paper we improve the VIM by using concept of fixed point iteration method. Then this method was implemented for solving system of the time fractional chemical engineering equations. The ob...
متن کاملSome generalizations of Darbo's theorem for solving a systems of functional-integral equations via measure of noncompactness
In this paper, using the concept of measure of noncompactness, which is a very useful and powerful tools in nonlinear functional analysis, metric fixed point theory and integral equations, we introduce a new contraction on a Banach space. For this purpose by using of a measure of noncompactness on a finite product space, we obtain some generalizations of Darbo’s fixed-point theorem. Then, with ...
متن کاملDerivation Tree Analysis for Accelerated Fixed-Point Computation
We show that for several classes of idempotent semirings the least fixed-point of a polynomial system of equations X = f (X) is equal to the least fixed-point of a linear system obtained by “linearizing” the polynomials of f in a certain way. Our proofs rely on derivation tree analysis, a proof principle that combines methods from algebra, calculus, and formal language theory, and was first use...
متن کاملSolving infinite system of nonlinear integral equations by using F-generalized Meir-Keeler condensing operators, measure of noncompactness and modified homotopy perturbation.
In this article to prove existence of solution of infinite system of nonlinear integral equations, we consider the space of solution containing all convergence sequences with a finite limit, as with a suitable norm is a Banach space. By creating a generalization of Meir-Keeler condensing operators which is named as F-generalized Meir-Keeler condensing operators and measure of noncompactness, we...
متن کاملPerturbations of Jordan higher derivations in Banach ternary algebras : An alternative fixed point approach
Using fixed pointmethods, we investigate approximately higher ternary Jordan derivations in Banach ternaty algebras via the Cauchy functional equation$$f(lambda_{1}x+lambda_{2}y+lambda_3z)=lambda_1f(x)+lambda_2f(y)+lambda_3f(z)~.$$
متن کامل